Knowledge representation and reasoning

Results: 743



#Item
651Information / Knowledge representation / Knowledge engineering / Information science / Non-classical logic / Semantic reasoner / Description logic / Method of analytic tableaux / Web Ontology Language / Semantic Web / Logic / Science

A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
652Information science / Semantic Web / Knowledge / Knowledge representation / Technical communication / Description logic / Knowledge representation and reasoning / Information / Science / Ontology

Ontology-Based Data Access: From Theory to Practice Diego Calvanese

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2012-10-26 08:14:20
653Science / Category of being / Property / Mereology / Formal ontology / Quantity / Schema / Knowledge representation and reasoning / Intrinsic and extrinsic properties / Ontology / Metaphysics / Philosophy

An Object-Oriented Metamodel for Bunge-Wand-Weber Ontology Arvind W. Kiwelekar, Rushikesh K. Joshi Department of Computer Science and Engineering

Add to Reading List

Source URL: www.cse.iitb.ac.in

Language: English - Date: 2008-08-08 02:40:28
654Ontology / Knowledge representation / Science / Information science / Technical communication / Knowledge representation and reasoning / Resource Description Framework / Web Ontology Language / Ontology engineering / Semantic Web / Information / Data

Applying Ontology to the Web: A Case Study Jeff Heflin, James Hendler, and Sean Luke Department of Computer Science

Add to Reading List

Source URL: www.cse.lehigh.edu

Language: English - Date: 2001-09-03 16:29:15
655Information science / Semantic Web / Ontology / Computer languages / Technical communication / Knowledge representation and reasoning / DAML+OIL / Description logic / Query language / Information / Computing / Science

Benchmarking DAML+OIL Repositories Yuanbo Guo, Jeff Heflin, and Zhengxiang Pan Department of Computer Science and Engineering, Lehigh University

Add to Reading List

Source URL: www.cse.lehigh.edu

Language: English - Date: 2003-10-31 14:26:08
656Data / Science / Knowledge representation / Information science / Technical communication / Resource Description Framework / Knowledge representation and reasoning / Cyc / Web Ontology Language / Information / Ontology / Semantic Web

SHOE: A Blueprint for the Semantic Web Je He in James Hendler

Add to Reading List

Source URL: www.cse.lehigh.edu

Language: English - Date: 2003-02-21 15:48:23
657Cognitive science / Mathematical logic / Computational topology / Constraint programming / Region connection calculus / Spatial–temporal reasoning / Manifold / Mereology / Topological space / Mathematics / Topology / Knowledge representation

The Egenhofer–Cohn Hypothesis or, Topological Relativity? Alexander Klippel, Rui Li, Jinlong Yang, Frank Hardisty and Sen Xu

Add to Reading List

Source URL: www.geovista.psu.edu

Language: English - Date: 2013-02-08 13:12:51
658Cognition / Knowledge engineering / Reasoning / Ontology / Knowledge representation and reasoning / Scientific modeling / Frame language / KL-ONE / LOOM / Artificial intelligence / Science / Knowledge representation

Workshops Term Subsumption

Add to Reading List

Source URL: dl.kr.org

Language: English - Date: 2009-02-03 08:42:44
659Artificial intelligence / Programming paradigms / Behavioural sciences / Reasoning / Educational psychology / Ontology / Cognitive science / Knowledge representation and reasoning / Psychology / Science / Knowledge / Ethology

AAAI Spring Symposium Series Call for Participation March 25, 26, & 27, 1992 Stanford University • Stanford, California Sponsored by the American Association for Artificial Intelligence 445 Burgess Drive, Menlo Park, C

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2008-12-15 18:43:44
660Science / Information science / Knowledge representation / Knowledge engineering / Description logic / Web Ontology Language / Semantic reasoner / Cyc / Semantics / Ontology / Information / Semantic Web

Representing and reasoning with modular ontologies by Jie Bao

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2007-12-02 20:31:04
UPDATE